Model-based Testing and Monitoring using AgileUML
نویسندگان
چکیده
منابع مشابه
Testing and Monitoring Model-based Generated Program
We propose an integrated framework to test and monitor code generated from hybrid models for embedded systems. The framework consists of the following elements: First, we create testing automata as a controlled environment to produce test traces achieving the desired testing criteria; Second, we synthesize monitoring automata from the behavior specification to check the run-time behavior of the...
متن کاملAssessment and Monitoring for Railway Tracks Reliability and Safety using Nondestructive Testing Measurement Systems
The deterioration of railway tracks raises great concerns about the integrity of assessments and evaluations of railway tracks currently in service. Integrated inspection strategies coupled with innovations in inspection technology can lead to significant improvements in operational cost efficiency and reliability without the requirement of a fundamental shift in the existing understanding o...
متن کاملmortality forecasting based on lee-carter model
over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...
15 صفحه اولRun-time monitoring for model-based testing of distributed systems
Modern enterprise systems are highly distributed and heterogeneous. Apart from the latest attempts on leveraging distributed systems with SOA and SOA-like enterprise integration systems, testing still represents a major challenge. This paper discusses practical approach for managing the testing process for distributed systems based on transparent test environment, run-time monitoring of interac...
متن کاملطراحی، ساخت و کنترل model based یک روبات موازی هگزا
توسعه و افزایش تولید صنایع و در پی آن رشد اقتصادی و اجتماعی یک جامعه در قرن جدید، با خودکار کردن روندهای تولید گره خورده است. یکی از اجزای خودکار ساختن صنایع، استفاده از روباتها در چرخه تولید به منظورهای مختلف می¬باشد؛ رنگ پاشی، جابجایی، نصب قطعات و جوشکاری بخش کوچکی از فضایی است که به روباتهای کارا نیازمند است. پس از استفاده فراوان از روباتهای سرال در صنایع و انجام پژوهشهای پایه¬ای بر روی طراح...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2021
ISSN: 1877-0509
DOI: 10.1016/j.procs.2021.04.012